#include <stdio.h>

main() {
	int x = 0;
	int k;
	k = x++;
	printf("k=%d", k); 
	
} 
